Scaling Dualities

In this paper rst we prove four fundamental theorems of the alternative, called scaling dualities, characterizing exact and approximate solvability of four signi cant conic problems in nite dimensional spaces, de ned as: homogeneous programming (HP), scaling problem (SP), homogeneous scaling problem (HSP), and algebraic scaling problem (ASP). Let be a homogeneous function of degree p > 0, K a pointed closed convex cone, W a subspace, and F a -logarithmically homogeneous barrier forK . HP tests the existence of a nontrivial zero of overW\K. SP, and HSP test the existence of nite minimumof = +F , andX = =exp( pF= ) over W\K , respectively. ASP tests the solvability of the scaling equation (SE), a fundamental equation inherited from properties of homogeneity and those of the operator-cone, T (K) = fD r2F (d) 1=2 : d 2 K g. Each D induces a scaling of r (d) (or r2 (d)), and SE is solvable if and only if there exists a xed-point under this scaling. In case K is a symmetric cone, the xed-point is its center, e. These four problems together with the scaling dualities o er a new point of view into the theory and practice of convex and nonconvex programming. Nontrivial special cases over the nonnegative orthant include: testing if the convex-hull of a set of points contains the origin (equivalently, testing the solvability of Karmarkar's canonical LP), computing the minimum of the arithmetic-geometric mean ratio over a subspace, testing the solvability of the diagonal matrix scaling equation (DADe = e), as well as NP-complete problems. The scaling dualities closely relate these seemingly unrelated problems. Via known conic LP dualities, convex programs can be formulated as HP. Scaling dualities go one step further, allowing us to view HP as a problem dual to the corresponding SP, HSP, or ASP. This duality is in the sense that HP is solvable if and only if the other three are not. Using the scaling dualities we describe algorithms that attempt to solve SP, HSP, or ASP. If any of these problems is unsolvable, as a by-product, we solve HP. Our scaling dualities give nontrivial generalization of the arithmetic-geometric mean, trace-determinant, and Hadamard inequalities; matrix scaling theorems; and the classic duality of Gordan. We describe potential-reduction and path-following algorithms for these four problems, resulting in novel and conceptually simple polynomial-time algorithms for linear, quadratic, semide nite, and self-concordant programming. Furthermore, the algorithms are more powerful than their existing counterparts, since they also establish the polynomial-time solvability of the corresponding SP, HSP, as well as many cases of ASP. The scaling problems either have not been addressed in the literature, or have been treated in very special cases. The algorithms are based on the scaling dualities, signi cant bounds obtained in this paper, properties of homogeneity, as well as Nesterov and Nemirovskii's machinery of self-concordance. We prove that if is -compatible with F , then -approximate versions of HP, SP, and HSP are all solvable in polynomial-time. Additionally, if the ratio kDk=kdk is uniformly bounded, ASP is also solvable in polynomial-time. The latter result extends the polynomial-time solvability of matrix scaling equation (even in the presence of W ) to general cases of SE over the nonnegative cone, or the semide nite cone, or the second-order cone.